<?php

/**^
function f(){
  $r= '/./*';
}

?>